Closest Vector Problem (CVP)